<?php
highlight_file("../../".$_GET["file"]);
?>